Inhalt des Dokuments
zur Navigation
Inhalt des Dokuments
Forschung
ETAPS 2010 - Eingeladenes Tutorial
Sonntag, 21. März 2010
Eingeladenes Tutorial von Uwe Nestmann zum Thema "The DisCoVeri continues ... (On the Application of Concurrency Theory to Fault-Tolerant Distributed Algorithms)" bei ETAPS 2010.